-
1 на основе логического вывода
Русско-английский словарь по нефти и газу > на основе логического вывода
-
2 проблема логического вывода
Русско-английский большой базовый словарь > проблема логического вывода
-
3 инструментальные средства логического вывода на основе рассуждений по прецедентам
Engineering: case-based reasoning toolУниверсальный русско-английский словарь > инструментальные средства логического вывода на основе рассуждений по прецедентам
-
4 механизмы вывода
1. inference machinery2. output mechanismвыходное устройство; устройство вывода — output device
программа вывода; выходная программа — output routine
механизм вывода; устройство вывода — output mechanism
Русско-английский большой базовый словарь > механизмы вывода
-
5 грамматический вывод
Русско-английский большой базовый словарь > грамматический вывод
-
6 дедуктивный вывод
Русско-английский большой базовый словарь > дедуктивный вывод
-
7 индуктивный вывод
1. inductive inference2. bottom-up reasoningРусско-английский большой базовый словарь > индуктивный вывод
-
8 совместные выводы
Русско-английский большой базовый словарь > совместные выводы
-
9 формальный вывод
Русско-английский большой базовый словарь > формальный вывод
-
10 пропозиционный вывод
-
11 вывод
•This deduction (or conclusion, or inference) is confirmed by results of catalytic hydrogenation.
II•The withdrawal of a rod...
* * *Вывод -- conclusion, deduction, inference, judgement (на основе логического рассуждения или данных); implication (косвенным путем); suggestion (предположение); conclusion (заключительный раздел статьи); observation (на основе наблюдений); development, derivation, formulation (уравнений и т.п.); removal, removing, withdrawal (удаление)This deduction is supported by the comparison between the measured loads and the corresponding theoretical predictions.The main conclusions are summarized as follows.However, more detailed analysis of the phenomena occurring in the diffuser refutes this observation.Русско-английский научно-технический словарь переводчика > вывод
-
12 SCADA
SCADA
SCADA-система
диспетчерское управление и сбор данных
ПО, предназначенное для поддержки средств автоматизации и построения систем промышленной автоматизации.
[ http://www.morepc.ru/dict/]SCADA (аббр. от англ. supervisory control and data acquisition, диспетчерское управление и сбор данных) — программный пакет, предназначенный для разработки или обеспечения работы в реальном времени систем сбора, обработки, отображения и архивирования информации об объекте мониторинга или управления. SCADA может являться частью АСУ ТП, АСКУЭ, системы экологического мониторинга, научного эксперимента, автоматизации здания и т. д. SCADA-системы используются во всех отраслях хозяйства, где требуется обеспечивать операторский контроль за технологическими процессами в реальном времени. Данное программное обеспечение устанавливается на компьютеры и, для связи с объектом, использует драйверы ввода-вывода или OPC/DDE серверы. Программный код может быть как написан на языке программирования (например на C++), так и сгенерирован в среде проектирования.
Иногда SCADA-системы комплектуются дополнительным ПО для программирования промышленных контроллеров. Такие SCADA-системы называются интегрированными и к ним добавляют термин SoftLogic.
Термин «SCADA» имеет двоякое толкование. Наиболее широко распространено понимание SCADA как приложения[2], то есть программного комплекса, обеспечивающего выполнение указанных функций, а также инструментальных средств для разработки этого программного обеспечения. Однако, часто под SCADA-системой подразумевают программно-аппаратный комплекс. Подобное понимание термина SCADA более характерно для раздела телеметрия.
Значение термина SCADA претерпело изменения вместе с развитием технологий автоматизации и управления технологическими процессами. В 80-е годы под SCADA-системами чаще понимали программно-аппаратные комплексы сбора данных реального времени. С 90-х годов термин SCADA больше используется для обозначения только программной части человеко-машинного интерфейса АСУ ТП.Основные задачи, решаемые SCADA-системами
SCADA-системы решают следующие задачи:- Обмен данными с «устройствами связи с объектом», то есть с промышленными контроллерами и платами ввода/вывода) в реальном времени через драйверы.
- Обработка информации в реальном времени.
- Логическое управление.
- Отображение информации на экране монитора в удобной и понятной для человека форме.
- Ведение базы данных реального времени с технологической информацией.
- Аварийная сигнализация и управление тревожными сообщениями.
- Подготовка и генерирование отчетов о ходе технологического процесса.
- Осуществление сетевого взаимодействия между SCADA ПК.
- Обеспечение связи с внешними приложениями (СУБД, электронные таблицы, текстовые процессоры и т. д.). В системе управления предприятием такими приложениями чаще всего являются приложения, относимые к уровню MES.
SCADA-системы позволяют разрабатывать АСУ ТП в клиент-серверной или в распределённой архитектуре.
Основные компоненты SCADA
SCADA—система обычно содержит следующие подсистемы:- Драйверы или серверы ввода-вывода — программы, обеспечивающие связь SCADA с промышленными контроллерами, счётчиками, АЦП и другими устройствами ввода-вывода информации.
- Система реального времени — программа, обеспечивающая обработку данных в пределах заданного временного цикла с учетом приоритетов.
- Человеко-машинный интерфейс (HMI, англ. Human Machine Interface) — инструмент, который представляет данные о ходе процесса человеку оператору, что позволяет оператору контролировать процесс и управлять им. Программа-редактор для разработки человеко-машинного интерфейса.
- Система логического управления — программа, обеспечивающая исполнение пользовательских программ (скриптов) логического управления в SCADA-системе. Набор редакторов для их разработки.
- База данных реального времени — программа, обеспечивающая сохранение истории процесса в режиме реального времени.
- Система управления тревогами — программа, обеспечивающая автоматический контроль технологических событий, отнесение их к категории нормальных, предупреждающих или аварийных, а также обработку событий оператором или компьютером.
- Генератор отчетов — программа, обеспечивающая создание пользовательских отчетов о технологических событиях. Набор редакторов для их разработки.
- Внешние интерфейсы — стандартные интерфейсы обмена данными между SCADA и другими приложениями. Обычно OPC, DDE, ODBC, DLL и т. д.
Концепции систем
Термин SCADA обычно относится к централизованным системам контроля и управления всей системой, или комплексами систем, осуществляемого с участием человека. Большинство управляющих воздействий выполняется автоматически RTU или ПЛК. Непосредственное управление процессом обычно обеспечивается RTU или PLC, а SCADA управляет режимами работы. Например, PLC может управлять потоком охлаждающей воды внутри части производственного процесса, а SCADA система может позволить операторам изменять уста для потока, менять маршруты движения жидкости, заполнять те или иные ёмкости, а также следить за тревожными сообщениями (алармами), такими как — потеря потока и высокая температура, которые должны быть отображены, записаны, и на которые оператор должен своевременно реагировать. Цикл управления с обратной связью проходит через RTU или ПЛК, в то время как SCADA система контролирует полное выполнение цикла.
Сбор данных начинается в RTU или на уровне PLC и включает — показания измерительного прибора. Далее данные собираются и форматируются таким способом, чтобы оператор диспетчерской, используя HMI мог принять контролирующие решения — корректировать или прервать стандартное управление средствами RTU/ПЛК. Данные могут также быть записаны в архив для построения трендов и другой аналитической обработки накопленных данных.[ http://ru.wikipedia.org/wiki/SCADA]
CitectSCADA
полнофункциональная система мониторинга, управления и сбора данных (SCADA – Supervisory Control And Data Acquisition)
ТЕХНИЧЕСКАЯ ИНФОРМАЦИЯ:CitectSCADA построена на базе мультизадачного ядра реального времени, что обеспечивает производительность сбора до 5 000 значений в секунду при работе в сетевом режиме с несколькими станциями. Модульная клиент-серверная архитектура позволяет одинаково эффективно применять CitectSCADA как в малых проектах, с использованием только одного АРМ, так и в больших, с распределением задач на несколько компьютеров.
В отличие от других SCADA-систем среда разработки CitectSCADA поставляется бесплатно. Оплачивается только среда исполнения (runtime). Это позволяет пользователю разработать и протестировать пробный проект, не вкладывая средств на начальном этапе.
Схема лицензирования CitectSCADA основана на учете числа одновременно задействованных компьютеров в проекте, а не общего числа компьютеров, на которых установлена CitectSCADA.
CitectSCADA лицензируется на заданное количество точек (дискретных или аналоговых переменных). При этом учитываются только внешние переменные, считываемые из устройств ввода/вывода, а внутренние переменные, находящиеся в памяти или на диске, бесплатны и не входят в количество лицензируемых точек. Градация количества лицензируемых точек в CitectSCADA более равномерна, чем в других системах: 75, 150, 500, 1 500, 5 000, 15 000, 50 000 и неограниченное количество.
В CitectSCADA резервирование является встроенным и легко конфигурируемым. Резервирование позволяет защищать все зоны потенциальных отказов как функциональных модулей (серверов и клиентов), так и сетевых соединений между узлами и устройствами ввода/вывода.
CitectSCADA имеет встроенный язык программирования CiCode, а также поддержку VBA.
CitectSCADA работает как 32-разрядное приложение Windows 9X/NT/2000/XP/2003. Сбор данных, формирование алармов и построение трендов происходит одновременно с редактированием и компиляцией.
[ http://www.rtsoft.ru/catalog/soft/scada/detail/343/]
Словесный портрет современной управляющей системы типа SCADA
-
Масштабируемая
- Наращивание системы без её переконфигурирования
- Масштабы проекта не ограничены
- До 255 одновременно подключённых клиентов
- Поддержка локальных и глобальных сетей
- Возможность интеграции с веб-приложениями без конфигурирования системы
- Возможность функционирования при малой пропускной способности коммуникаций
- Поддержка кластерных конфигураций
- Возможность перезапуска отдельных процессов, относящихся к разным компонентам
-
Гибкая
- Полноценная архитектура «клиент-сервер»
- Возможность масштабирования серверов/серверных массивов алармов, трендов и отчётов
- Поддержка централизованного хранения файлов проекта для удобства обслуживания, а также распределённого хранения и комбинированного варианта
- Внесение изменений на отдельных локациях
- Возможность функционирования при малой пропускной способности коммуникаций
- Поддержка устоявшихся и новых стандартов
-
Надёжная
- Встроенная поддержка режима ожидания
- Резервирование файловых серверов
- Резервирование сетевых коммуникаций
- Резервирование серверов алармов
- Резервирование серверов трендов
- Резервирование серверов отчётов
- Многоуровневое резервирование ввода-вывода
- Автоматическая замена серверов
- Автоматическая синхронизация историй трендов
- Автоматическая синхронизация таблиц алармов
- Автоматическая синхронизация времени
- Защитные функции
- Автоматический перезапуск в случае сбоя системы
- Высокопроизводительная
- Безопасная
-
Коммуникационные технологии
- Поддержка открытых коммуникационных стандартов
- Поддержка каждым сервером ввода-вывода многих протоколов
- Драйверы протоколов RS-232, RS-422, RS-485, TCP/IP
- Время установки драйверов в пределах 60 секунд
- До 255 одновременно подключённых клиентов
- До 4096 устройств ввода-вывода на одну систему
- Поддержка внешнего подключения для удалённых устройств
- Средства разработки драйверов для специализированных протоколов
- Поддержка стандарта OPC Server DA2.0
- Интегрированный веб-сервис XML
- Доступ
- Неограниченное число меток
- Длина имени метки до 80 символов
- Поддержка меток качества и времени для соответствующих драйверов
- Единая база данных для контроллеров ПЛК и системы SCADA
- Двунаправленная синхронизация со средой разработки для ПЛК
- Статическая синхронизация для разработки в автономном режиме
- - Автоматические импорт и синхронизация
- Импорт из ПЛК разных типов
- Добавление пользовательских схем импорта
-
Разработка
- Неограниченное число экранов
- 24-битные цвета
- Быстрый выбор цветов по названиям
- Поддержка прозрачных цветов
- Продвинутая анимация без дополнительного программирования
- Анимация символов на базе тегов
- До 32000 анимированных изображений на страницу
- Неограниченное число мигающих цветов
- Мультиязычность
- Инструменты типа 3D Pipe
- Трёхмерные эффекты (поднятие, опускание, выдавливание)
-
Импорт графики
- Растровые изображения Windows (BMP, RLE, DIB)
- Формат AutoCAD (DXF)
- Формат Encapsulated Postscript (EPS)
- Формат Fax Image (FAX)
- Формат Ventura (IMG)
- Формат JPEG (JPG, JIF, JFF, JFE)
- Формат Photo CD (PCD)
- Формат PaintBrush (PCX)
- Формат Portable Network Graphics (PNG)
- Формат Targa (TGA)
- Формат Tagged Image Format (TIFF)
- Формат Windows Meta File (WMF)
- Формат Word Perfect Graphics (WPG)
- Неограниченное число отмен действий
- Кнопки в стиле Windows XP со свойствами динамического перемещения
- Шаблоны
- Символы
- Более 800 символов в комплекте поставки
-
Объектное конфигурирование
- Неограниченное число объектов типа «джинн» (Genie) и «суперджинн» (Super Genie)
- Пользовательские «джинны» позволяют отображать на экране пользовательское оборудование
- Пользовательские «суперджины» позволяют работать с разными устройствами через один интерфейс
- Объекты типа «джинн» и «суперджинн» способны воспринимать изменения в тегах устройств без дополнительного программирования
-
Работа
- Разрешения до 4096 x 4096
- Изменение размеров изображений (изотропное и анизотропное)
- Поддержка вывода на несколько мониторов
- Настройка скорости обновления страниц (минимум 10 мс)
- Информирование о потере связи
- Переключение языков в ходе работы
- Поддержка одно- и двухбайтовых наборов символов
-
Безопасность
- Уровень безопасности влияет на:
- Видимость объектов
- Доступ к графическим дисплеям
- Подтверждение алармов
- Создание отчётов
- Системные утилиты
-
Управление
- Сенсорные команды
- Мышь
- -Клавиатурное управление системой, страницами и анимацией
- Вертикальные и горизонтальные ползунки
- Замена БД
-
Анализ процессов
- Объединение алармов с трендами
- 32 и более перьев
- 4 и более оконных секций
- 2 и более курсоров
- Наложение перьев
- Информация о качестве данных
- Аналоговые и цифровые перья
- Информация о подтверждении алармов
- Описание алармов (аналоговых и мультицифровых)
- Комментарии к алармам
- Поддержка перехода на летнее и зимнее время
- Сохранение просмотров в процессе работы
- Хранение просмотров в удалённых локациях
- Отображение различных временных периодов на том же дисплее
- Настраиваемое и расширяемое управление
-
Алармы
- Неограниченное число алармов
- Централизованная обработка алармов
- Алармы могут быть следующих типов:
- Цифровые
- Аналоговые
- Временные метки
- Высокоуровневые выражения
- Мультицифровые
- Цифровые с временными метками
- Аналоговые с временными метками
- Изменение языка для всех алармов в процессе работы
- Подтверждение приёма в сети без дополнительного конфигурирования
- Отключение сети без дополнительного конфигурирования
- Категории, зоны и приоритеты алармов
- Задержки алармов
- Назначение временных меток с разрешением в 1 мс
- Различные данные в алармах
- Индивидуальные и групповые подтверждения
- Подтверждения на основе категорий и приоритетов
- Подтверждения отображаются графически, в списке алармов или через специализированный код:
- Сортировка алармов
- Фильтрация алармов
- Пользовательские поля алармов
-
Тренды
- Неограниченное число трендов
- До 16000 трендов на страницу
- Отображение любого тренда из истории менее чем за 1 секунду
- Файлов трендов регулируемых размеров
- Просмотр архивных трендов параллельно с актуальными в процессе работы системы
- Выбор с разрешением 1 мс
- Сравнение трендов
- Быстрый выбор трендов по тегам
- Сохранение по событию или периодическое сохранение
Статистический контроль ( SPC)
- Таблицы индексов Cp и CpK
- Контрольные карты X, R и S
- Диаграммы Парето
- Настраиваемые размеры и границы подгрупп
- Типы алармов: Above UCL, Below LCL, Outside CL, Down Trend, Up Trend, Erratic, Gradual, Down, Gradual Up, Mixture, Outside WL, Freak, Stratification и высокоуровневые выражения
- Редактор сгенерированных отчётов, редактирование по модели WYSIWYN, отчёты в формате Rich Text
- Запуск внешними событиями, по расписанию, через высокоуровневые выражения и по команде оператора
- Вывод на принтер, в файл, по электронной почте, на экран, в формат HTML
- Разработка проекта
- Масштабы проекта не ограничены
- Возможность разбиения на несколько проектов
- Удобная стандартизация проектов
- Удобное обслуживание проектов
- Встроенное средство настройки компьютеров позволяет конфигурировать каждый подключённый к сети ПК по отдельности
- Истинная вытесняющая многозадачность
- До 512 параллельных потоков
- Доступно более 600 функций SCADA
- Библиотеки для пользовательских функций
- До 2700 пользовательских функций
- Локальные, модульные и глобальные переменные
- Дополнительное программное обеспечение для создания собственных функций не требуется
- Прямой доступ к данным трендов, отчётов и алармов
- Подсвечивание синтаксиса
- Система онлайн-подсказок
- Всплывающие подсказки
- При редактировании доступны:
- Контрольные точки
- Просмотр переменных
- Мониторинг нитей
- Выделение кода цветом
- Окно контрольных точек
- Пошаговый режим выполнения
- Выделение текущей строки
- Удалённая отладка
- Автоматическая отладка в случае ошибок
- Сервер и клиент OPC
- Интерфейс ODBC
- Интерфейс OLE-DB
- Интерфейс CTAPI
- Интерфейс DLL
- Интерфейс MAPI (MAIL)
- Протоколы TCP/IP
- Последовательный интерфейс
[ http://www.rtsoft-training.ru/?p=600074]
Тематики
Синонимы
- SCADA-система
- диспетчерское управление и сбор данных
- система диспетчерского управления и сбора данных
- система мониторинга, управления и сбора данных
EN
Русско-английский словарь нормативно-технической терминологии > SCADA
-
13 порт
порт
Место (средство) подключения ПУ к внутренней шине компьютера.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]
порт
Телекоммуникационное гнездо активного оборудования.
[Дмитрий Мацкевич. Справочное руководство. Основные понятия, требования, рекомендации и правила проектирования и инсталляции СКС LANMASTER. Версия 2.01]Тематики
EN
3.32 порт (port): Конечная точка соединения.
Примечание - В контексте Интернет-протокола порт представляет собой конечную точку логического канала TCP- или UDP-соединения. Протоколы приложений на основе TCP или UDP обычно имеют назначенные по умолчанию номера портов, например порт 80 для HTTP протокола.
Источник: ГОСТ Р ИСО/МЭК 18028-1-2008: Информационная технология. Методы и средства обеспечения безопасности. Сетевая безопасность информационных технологий. Часть 1. Менеджмент сетевой безопасности оригинал документа
3.31 порт (port): Конечная точка соединения.
Примечание - В контексте Интернет-протокола порт представляет собой конечную точку логического канала TCP или UDP соединения. Протоколы приложений на основе TCP или UDP обычно имеют назначенные по умолчанию номера портов, например, порт 80 для HTTP протокола.
Источник: ГОСТ Р ИСО/МЭК 27033-1-2011: Информационная технология. Методы и средства обеспечения безопасности. Безопасность сетей. Часть 1. Обзор и концепции оригинал документа
3.2 порт (port): Граница между отдельным устройством или системой, на которые распространяется настоящий стандарт, и внешней электромагнитной средой (см. рисунок 1).
Примечание - Порты ввода-вывода могут быть входными, выходными, двусторонними, измерительными, управления или ввода-вывода данных.
Рисунок 1 - Примеры портов оборудования
Источник: ГОСТ Р 51522.1-2011: Совместимость технических средств электромагнитная. Электрическое оборудование для измерения, управления и лабораторного применения. Часть 1. Общие требования и методы испытаний оригинал документа
3.9 порт (port): Граница между конкретным оборудованием и внешней электромагнитной средой.
Примечания
1 Любой элемент оборудования, служащий для подключения (присоединения) кабелей, соединительных линий, фидеров, волноводов, подходящих к указанному оборудованию или отходящих от него, рассматривают как порт (см. рисунок 1).
Рисунок 1 - Примеры портов оборудования
2 Элемент оборудования, служащий для подключения (присоединения) волоконно-оптической линии, не рассматривают в качестве порта, поскольку он не взаимодействует с электромагнитной обстановкой в полосе частот, применяемой при испытаниях, установленных в настоящем стандарте. Волоконно-оптические линии могут быть применены при оценке качества функционирования оборудования в процессе испытаний.
Источник: ГОСТ Р 52459.1-2009: Совместимость технических средств электромагнитная. Технические средства радиосвязи. Часть 1. Общие технические требования и методы испытаний оригинал документа
3.1 порт (port): Граница между СБП и внешней электромагнитной средой (зажим, разъем, клемма и т.п.) (см. рисунок 1).
Рисунок 1 - Примеры портов СБП
Источник: ГОСТ Р 53362-2009: Совместимость технических средств электромагнитная. Системы бесперебойного питания. Требования и методы испытаний оригинал документа
3.3 порт (port): Граница между сварочным оборудованием и внешней электромагнитной средой.
Источник: ГОСТ Р 51526-2012: Совместимость технических средств электромагнитная. Оборудование для дуговой сварки. Часть 10. Требования и методы испытаний оригинал документа
3.1 порт (port): Граница между ТС и внешней электромагнитной средой (зажим, разъем, клемма, стык связи и т.п.) (см. рисунок 1).
Рисунок 1 - Примеры портов ТС
Источник: ГОСТ Р 51317.6.3-2009: Совместимость технических средств электромагнитная. Электромагнитные помехи от технических средств, применяемых в жилых, коммерческих зонах и производственных зонах с малым энергопотреблением. Нормы и методы испытаний оригинал документа
3.2 порт (port): Граница между конкретным ТС и внешней электромагнитной средой (см. рисунок 1).
Примечание - В некоторых случаях разные порты могут быть объединены.
Рисунок 1 - Примеры портов
Источник: ГОСТ Р 54485-2011: Совместимость технических средств электромагнитная. Сигнализация в низковольтных электрических установках в полосе частот от 3 до 148,5 кГц. Часть 2-1. Оборудование и системы связи по электрическим сетям в полосе частот от 95 до 148,5 кГц, предназначенные для применения в жилых, коммерческих зонах и производственных зонах с малым энергопотреблением. Требования устойчивости к электромагнитным помехам и методы испытаний оригинал документа
3.6 порт (port): Граница между оборудованием и внешней электромагнитной средой.
Источник: ГОСТ Р 55139-2012: Совместимость технических средств электромагнитная. Оборудование для контактной сварки. Часть 2. Требования и методы испытаний оригинал документа
3.20 порт (port): Отдельный интерфейс испытуемого оборудования с внешней электромагнитной обстановкой.
Источник: ГОСТ Р 55266-2012: Совместимость технических средств электромагнитная. Оборудование сетей связи. Требования и методы испытаний оригинал документа
3.3.1 порт (port): Конкретный интерфейс определенной ССП с внешней электромагнитной средой (см. рисунок 1).
Рисунок 1 - Примеры портов
Источник: ГОСТ Р 55061-2012: Совместимость технических средств электромагнитная. Статические системы переключения. Часть 2. Требования и методы испытаний оригинал документа
Русско-английский словарь нормативно-технической терминологии > порт
См. также в других словарях:
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Cyc — Эта статья о проекте по созданию базы знаний. О городе в Тунисе см. Сус. Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Cyc (написано латиницей,… … Википедия
Оперантное обусловливание (operant conditioning) — Термин О. о. применительно к научению используется в двух значениях. В более узком смысле с ним связывается набор процедур, использующихся при изучении процессов инструментального обусловливания. В более широком и более фундаментальном смысле… … Психологическая энциклопедия
Процессы коммуникации (communication processes) — Коммуникация яв ся по существу процессом, посредством к рого состояние дел в одном месте передается в др. место при помощи символических средств. В изучении этого процесса принимают совместное участие множество различных дисциплин, от… … Психологическая энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия